proof that an orthonormal set of vectors is linearly independent